workspace: Remove reserved slots

This is a pre-3.0 feature that was dropped before
the 3.0 release, but managed to find its way until
now, 11 years later.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1352

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index e1b5ea7a8f8b4feb6b54084a62e9d9fe7a640a12..e1b9b003eecb89585dc458309fac410fc7f96cac 100644 (file)
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -820,9 +820,6 @@ class Workspace extends St.Widget {
             layout_manager: new WorkspaceLayout(metaWorkspace, monitorIndex),
         });
 
-        // When dragging a window, we use this slot for reserve space.
-        this._reservedSlot = null;
-        this._reservedSlotWindow = null;
         this.metaWorkspace = metaWorkspace;
 
         this.monitorIndex = monitorIndex;
@@ -878,19 +875,6 @@ class Workspace extends St.Widget {
         return this._windows.length == 0;
     }
 
-    setReservedSlot(metaWindow) {
-        if (this._reservedSlotWindow == metaWindow)
-            return;
-
-        if (!metaWindow || this.containsMetaWindow(metaWindow)) {
-            this._reservedSlotWindow = null;
-            this._reservedSlot = null;
-        } else {
-            this._reservedSlotWindow = metaWindow;
-            this._reservedSlot = this._windows[this._lookupIndex(metaWindow)];
-        }
-    }
-
     syncStacking(stackIndices) {
         this.layout_manager.syncStacking(stackIndices);
     }

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 2792efaad5832109d4d16049827f758b3e6aafe9..af767a4346f3423350d2a2b5ad20254e6bf740bf 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -52,14 +52,12 @@ var WorkspacesViewBase = GObject.registerClass({
         }
     }
 
-    _dragBegin(overview, window) {
+    _dragBegin() {
         this._inDrag = true;
-        this._setReservedSlot(window);
     }
 
     _dragEnd() {
         this._inDrag = false;
-        this._setReservedSlot(null);
     }
 
     vfunc_allocate(box) {
@@ -132,11 +130,6 @@ class WorkspacesView extends WorkspacesViewBase {
         this._updateScrollPosition();
     }
 
-    _setReservedSlot(window) {
-        for (let i = 0; i < this._workspaces.length; i++)
-            this._workspaces[i].setReservedSlot(window);
-    }
-
     getActiveWorkspace() {
         let workspaceManager = global.workspace_manager;
         let active = workspaceManager.get_active_workspace_index();
@@ -311,10 +304,6 @@ class ExtraWorkspaceView extends WorkspacesViewBase {
         this.add_actor(this._workspace);
     }
 
-    _setReservedSlot(window) {
-        this._workspace.setReservedSlot(window);
-    }
-
     getActiveWorkspace() {
         return this._workspace;
     }